منابع مشابه
Structural focalization (draft)
Focusing, introduced by Jean-Marc Andreoli in the context of classical linear logic, defines a normal form for sequent calculus derivations that cuts down on the number of possible derivations by eagerly applying invertible rules and grouping sequences of non-invertible rules. A focused sequent calculus is defined relative to some non-focused sequent calculus; focalization is the property that ...
متن کاملFrom Focalization of Logic to the Logic of Focalization
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ranging from linear logic programming to game theoretical analysis of linear logic proofs. The aim of this article is to propose an algebraic study of focalization property for the multiplicative-additive fragment of ...
متن کاملFocalization in 3D Video Games
This paper investigates Bal’s concept of focalization for 3D video games. First, the argument traces focalization in the historical development of camera strategies in 3D video games. It highlights the detachment of the camera into an own interactive operator. Then, it exemplifies the visual focalization in video games using two case studies. In the following, it looks at possible problems and ...
متن کاملOn the Meaning of Focalization
In this paper, we use Girard’s Ludics to analyze focalization, a fundamental property of linear logic. In particular, we show how this can be realized interactively thanks to section-retraction pairs (uαβ, fαβ) between behaviours α〈ˆ(β〈~ Y〉), ~ X〉 and αβ〈~ Y, ~ X〉.
متن کاملContrastive Focalization on Topics and Preverbal Subjects in Italian: Syntax Free Prosodic Focalization or Syntactic Movement to Focp?
1 § Introduction In this paper, I will confront the split CP model (Rizzi 1997 and subsequent work) and the criterial framework proposed by Rizzi (2004c) with two empirical problems. Firstly, I will consider a peculiar Italian construction (see (1)b), previously described and analysed by Benincà (1988:137-139 and 2001) and Benincà and Poletto (2004), which seems to mix up the interpretative and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Computational Logic
سال: 2014
ISSN: 1529-3785,1557-945X
DOI: 10.1145/2629678